Logical consequence - PDFSEARCH.IO - Document Search Engine

Logical consequence
Results: 692

#	Item
611	Dialectic proof procedures for assumption-based, admissible argumentation 3 February 2005 P.M. Dung Division of Computer Science, Asian Institute of Technology PO Box 2754, Bangkok 10501, Thailand Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2005-02-07 09:13:13 Deduction Critical thinking Reasoning Argumentation theory Argument Inference Modus ponens Rule of inference Entailment Logic Arguments Logical consequence
612	Abduction, Experience, and Goals: A Model of Everyday Abductive Explanation* David B. Leake Computer Science Department Lindley Hall 215 Indiana University Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-08-27 18:00:07 Critical thinking Logic Epistemology Logical consequence Philosophy of science Abductive reasoning Explanation Argument Reason Reasoning Science Knowledge
613	WUENIC – A Case Study in Rule-based Knowledge Representation and Reasoning Robert Kowalski1 and Anthony Burton21 Imperial College London, [removed] World Health Organization, Geneva, [removed] 1 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-06-05 05:03:01 Knowledge Programming paradigms Critical thinking Logical consequence Arguments Prolog Logic programming Inference Argumentation theory Reasoning Logic Science
614	Artificial Intelligence Artificial Intelligence[removed]101 An abstract, argumentation-theoretic to default reasoning Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-02-24 04:12:43 Non-classical logic Logical consequence Philosophical logic Non-monotonic logic Default logic Autoepistemic logic Negation as failure Stable model semantics Entailment Logic Mathematical logic Logic programming
615	From Mathematical Logic, to Natural Language, Artificial Intelligence, and Human Thinking (A short essay in honour of Andrzej Mostowski) In Andrzej Mostowski and Foundational Studies (Eds. A. Ehrenfeucht, V.W. Marek and Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2008-02-23 08:49:19 Non-classical logic Philosophical logic Knowledge representation Logical consequence Robert Kowalski Abductive logic programming Mostowski Modal logic Event calculus Logic Mathematical logic Logic programming
616	i i “p01c01˙his” — [removed] — 10:11 — page 3 — #3 i Add to Reading List Source URL: gauss.ececs.uc.edu Language: English - Date: 2011-07-05 08:44:49 Philosophical logic Classical logic Propositional calculus Algebraic logic Logical consequence Boolean algebra Function Term logic Entailment Logic Mathematical logic Mathematics
617	PDF Document Add to Reading List Source URL: www.science-of-medicine.netne.net Language: English - Date: 2013-02-01 20:21:43 Science Programming paradigms Epistemology Philosophy of science Inference Logical consequence Algorithm Causality Logic programming Logic Reasoning Knowledge
618	A resource bounded default logic Gregory R. Wheeler∗ Centro de Inteligˆencia Artificial (CENTRIA) Departamento de Inform´atica, Universidade Nova de Lisboa[removed]Caparica, Portugal [removed] Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:34:21 Model theory Proof theory Entailment Metalogic Default logic Inference Soundness Monotonicity of entailment First-order logic Logic Logical consequence Deduction
619	Epistemology and Artificial Intelligence Gregory R. Wheeler and Lu´ıs Moniz Pereira Centro de Inteligˆencia Artificial (CENTRIA) Departamento de Inform´atica, Universidade Nova de Lisboa[removed]Caparica, Portugal { Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:32:27 Logical consequence Deduction Branches of philosophy Reasoning Logic programming Epistemology Inference Default logic Statistical inference Logic Science Knowledge
620	Certifying Knowledge Sociology of a Logical Theorem in the Field of Artificial Intelligence Claude Rosental S E P T E M B E R[removed] , PA P E R N U M B E R 1 8 Add to Reading List Source URL: www.sss.ias.edu Language: English - Date: 2009-08-28 11:36:05 Artificial intelligence Logic in computer science Model theory Fuzzy logic Mathematical logic First-order logic Argument Theorem Type-2 fuzzy sets and systems Logic Mathematics Logical consequence

UPDATE